2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging (Lecture Notes in Computer Science)
Автор:
Pierre Deransart
, Автор:
M.V. Hermenegildo
, Автор:
J. Maluszynski
Категория:
Компьютеры
Размер книги: 3.24 Mb
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005
Автор:
Manuel Hermenegildo
, Автор:
Daniel Cabeza
Категория:
Языкознание
Размер книги: 8.64 Mb
Estudio técnico comparado de los katas de kárate
Автор:
Hermenegildo Camps
, Автор:
Santiago Cerezo
Размер книги: 94.86 Mb
Practical aspects of declarative languages: 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005: proceedings
Автор:
Manuel Hermenegildo
, Автор:
Daniel Cabeza
Размер книги: 8.33 Mb
Practical Aspects of Declarative Languages 7 conf
Автор:
Manuel Hermenegildo
, Автор:
Daniel Cabeza
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.43 Mb
Functional and Logic Programming, 9 conf., FLOPS 2008
Автор:
Jacques Garrigue
, Автор:
Manuel Hermenegildo
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 4.86 Mb
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
Автор:
Gilles Barthe
, Автор:
Manuel Hermenegildo
Размер книги: 4.07 Mb
Analysis and Visualization Tools for Constraint Programming
Автор:
Pierre Deransart
, Автор:
M.V. Hermenegildo
, Автор:
J. Maluszynski
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 2.46 Mb
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings
Автор:
Manuel Hermenegildo
, Автор:
Jaan Penjam
Размер книги: 4.26 Mb
Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, ... Data Analysis, and Knowledge Orga)
Автор:
Manuel Hermenegildo
, Автор:
S.Doaitse Swierstra
Размер книги: 4.13 Mb
Static Analysis
Автор:
Manuel Hermenegildo
, Автор:
German Puebla
Размер книги: 5.29 Mb
